Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
631	Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK Add to Reading List Source URL: plancomps.dreamhosters.com Language: English - Date: 2014-11-22 16:20:54 Logic in computer science Theoretical computer science Automated theorem proving Logic programming Bisimulation Substitution Operational semantics Transition system Derivative Permutation Variable -calculus
632	Theoretical Computer Science–118 www.elsevier.com/locate/tcs A few logs suce to build (almost) all trees: Part II Peter L. Erd˝osa;∗ , Michael A. Steelb , Laszlo A. Szekelyc , Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2000-08-25 17:14:05 Computational phylogenetics Neighbor joining Matrix Binary tree Tree Tree alignment Bayesian inference in phylogeny
633	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: eglassman.github.io Language: English - Date: 2016-07-29 16:41:12 Theoretical computer science Alan Turing Mathematical logic Turing machine Algorithm MATLAB Computational complexity theory Human-based computation Problem solving NP Simulation
634	Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-13 14:10:53 Formal methods Logic in computer science Theoretical computer science Hardware verification languages Aspect-oriented software development Formal verification Model checking Abstraction E Communications protocol Modularity Construction and Analysis of Distributed Processes
635	Algorithms and Data Structures (WS15/16) Example Solutions for Unit 4 Problem 1 A simple algorithm to solve this problem is sorting both sets A and B and then doing a linear scan to check for common elements. We start fr Add to Reading List Source URL: www-tcs.cs.uni-sb.de Language: English - Date: 2016-03-02 15:25:03 Algorithm Mathematical logic Theoretical computer science Combinatorial optimization Operations research
636	Quantum Speed-ups for Semidefinite Programming Fernando G.S.L. Brandão MSR -> Caltech based on joint work with Add to Reading List Source URL: fernandobrandao.org Language: English - Date: 2016-07-15 14:19:10 Operations research Mathematical optimization Theoretical computer science Linear programming Real algebraic geometry Semidefinite programming Algorithm Quadratically constrained quadratic program
637	The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-22 17:23:36 Formal methods Technical communication Automated theorem proving Theoretical computer science Logic in computer science Formal verification ACL2 Functional verification User interface Proof assistant Usability Verification and validation
638	Curriculum Vitae Carl Feghali Contact information School of Engineering and Computing Sciences, Durham University, Durham, United Kingdom Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2016-07-10 08:09:50 Discrete mathematics Clique Graph theory Algorithmica Theoretical computer science
639	1 Almost Affine Lambda Terms Makoto Kanazawa National Institute of Informatics, Tokyo, Japan Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-08-19 13:21:10 Proof theory Algebraic geometry Computability theory Lambda calculus Theoretical computer science Sequent Valuation CurryHoward correspondence Quantum group
640	PDF Document Add to Reading List Source URL: www.hieratic.eu Language: English Theoretical computer science Markov processes Model checkers Markov models Probabilistic bisimulation Markov chain Bisimulation Splay tree Algorithm PRISM model checker Markov decision process Probabilistic CTL

UPDATE